Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
871	Simply Logical – Chapter 2 © Peter Flach, 2000 ☞ Propositional clausal logic ✓ expressions that can be true or false Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2001-01-29 09:42:02 Binary operations Philosophical logic Logic programming Rules of inference Resolution Entailment Horn clause Clause If and only if Logic Mathematics Propositional calculus
872	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
873	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
874	Program Extrapolation with Jennisys K. Rustan M. Leino Aleksandar Milicevic Microsoft Research Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-11-06 16:43:36 Data types Algorithm Mathematical logic Theoretical computer science Eval Constructor Objective-C Concolic testing Control flow Computing Software engineering Computer programming
875	Benefits of Peer-led Team Learning in CS Dr. Barbara G. Ryder J. Byran Maupin Professor of Engineering Head - Dept. of Computer Science Virginia Tech Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2013-03-24 21:10:58 Theoretical computer science B.G. Object-oriented programming Coin problem Mathematics Algorithm Mathematical logic
876	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:19 Functional languages Type theory Logic in computer science Procedural programming languages Formal methods OCaml Type system Coq ML Software engineering Computing Programming language theory
877	Model Checking Using SMT and Theory of Lists Aleksandar Milicevic1 and Hillel Kugler2 1 Massachusetts Institute of Technology (MIT), Cambridge, MA, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Phase transition Infinite loop FO Theoretical computer science Mathematics Applied mathematics
878	Principles of Constraint Programming Krzysztof R. Apt Chapter 4 Some Complete Constraint Solvers Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2007-10-03 21:20:16 Constraint logic programming Logic programming Constraint programming Integral calculus Differentiation rules
879	Uncovering Age-Specific Invasive and DCIS Breast Cancer Rules Using Inductive Logic Programming Houssam Nassif David Page Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-10-11 11:50:11 Ribbon symbolism Breast cancer Mammography Projectional radiography Breast surgery BI-RADS Carcinoma in situ Cancer Breast biopsy Medicine Oncology Cancer screening
880	Partial Deduction for Structured Logic Programming Michele Bugliesi D.S. Logics s.r.l. Viale Silvani, Bologna, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:38:43 Logic programming Function Uniqueness quantification Prolog Mathematics Mathematical logic Software engineering

UPDATE